bitkeeper revision 1.1108.56.1 (410faf5emvfslB-BTjuTK5EQwf6sxQ)

Fix LaTeX source.

diff --git a/docs/Makefile b/docs/Makefile
index fc3ea52bad4f5c14d326469efd1d54346fd50553..ae8db6a27c1305a9f220994e11a543db0905ed81 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -33,8 +33,8 @@ install: $(DOCUMENTS)
        dvips -Ppdf -G0 -o $@ $<
 
 %.dvi: %.tex
-       latex $*
-       if [ -e $*.toc ] ; then latex $* ; fi
+       latex $* >/dev/null
+       if [ -e $*.toc ] ; then latex $* >/dev/null ; fi
 
 %.eps: %.fig
        fig2dev -L eps $< $@
@@ -43,4 +43,4 @@ install: $(DOCUMENTS)
        tgif -print -color -eps $<
 
 %.html: %.tex
-       latex2html --split 0 --nonavigation --noinfo --math $<
+       latex2html --split 0 --nonavigation --noinfo --math $< 1>/dev/null 2>/dev/null

diff --git a/docs/user.tex b/docs/user.tex
index 90fbbf4faed6beaf0530990ef619aaa133a58a4a..e13c1a50d03fe0178aa6dea2aafc444881c6f71b 100644 (file)
--- a/docs/user.tex
+++ b/docs/user.tex
@@ -1183,7 +1183,6 @@ editting \path{grub.conf}.
  'nmi=fatal':  Xen prints a diagnostic and then hangs. \\
  'nmi=dom0':   Inform DOM0 of the NMI. \\
  'nmi=ignore': Ignore the NMI. \\
- [NB. Default is 'dom0' ('fatal' for debug builds).] \\
 
 {\bf dom0\_mem=xxx } \\
  Set the maximum amount of memory for domain0. \\